Enhanced Graph Rewriting Systems for Complex Software Domain

International audienceMethodologies for correct by construction reconfigurations can efficiently solve consistency issues in dynamic software architecture. Graph-based models are appropriate for designing such architectures and methods. At the same time, they may be unfit to characterize a system from a non functional perspective. This stems from efficiency and applicability limitations in handling time-varying characteristics and their related dependencies. In order to lift these restrictions, an extension to graph rewriting systems is proposed herein. The suitability of this approach, as well as the restraints of currently available ones, are illustrated, analysed and experimentally evaluated with reference to a concrete example. This investigation demonstrates that the conceived solution can: (i) express any kind of algebraic dependencies between evolving requirements and properties; (ii) significantly ameliorate the efficiency and scalability of system modifications with respect to classic methodologies; (iii) provide an efficient access to attribute values; (iv) be fruitfully exploited in software management systems; (v) guarantee theoretical properties of a grammar, like its termination

Initial MAC exploration for graphene-enabled wireless networks-on-chip

In the upcoming many-core era, chip multiprocessor architectures will be composed of hundreds or even thousands of processor cores, which interact among them through an on-chip communication platform for synchronization and data coherency/consistency purposes. As the traffic generated within the chip becomes more multicast-intensive, it is necessary to conceive novel communication platforms that go beyond conventional schemes and guarantee multicast support with high throughput, low latency, and low power. Nanotechnology provides an opportunity within this context by virtue of terahertz graphene antennas, which could allow the integration of one antenna per core in a Graphene-enabled Wireless Network-on-Chip (GWNoC). However, it is essential to design an appropriate MAC protocol in order to fully benefit from this novel approach. To provide a first contribution in this direction, in this paper we design two baseline MAC protocols based on the well-known ALOHA and carrier sensing techniques. Their functionalities have been properly conceived by taking into account characteristics and requirements of future chip multiprocessors systems. Moreover, their performances have been evaluated by means of computer simulations under different chip configurations. Obtained results demonstrate the pros and cons of these simple contention-based MAC protocols and pave the way for the future exploration of the MAC design space.Peer ReviewedPostprint (published version

Efficacy of a spatial repellent for control of Aedes-borne virus transmission: A cluster-randomized trial in Iquitos, Peru.

Over half the world's population is at risk for viruses transmitted by Aedes mosquitoes, such as dengue and Zika. The primary vector, Aedes aegypti, thrives in urban environments. Despite decades of effort, cases and geographic range of Aedes-borne viruses (ABVs) continue to expand. Rigorously proven vector control interventions that measure protective efficacy against ABV diseases are limited to Wolbachia in a single trial in Indonesia and do not include any chemical intervention. Spatial repellents, a new option for efficient deployment, are designed to decrease human exposure to ABVs by releasing active ingredients into the air that disrupt mosquito-human contact. A parallel, cluster-randomized controlled trial was conducted in Iquitos, Peru, to quantify the impact of a transfluthrin-based spatial repellent on human ABV infection. From 2,907 households across 26 clusters (13 per arm), 1,578 participants were assessed for seroconversion (primary endpoint) by survival analysis. Incidence of acute disease was calculated among 16,683 participants (secondary endpoint). Adult mosquito collections were conducted to compare Ae. aegypti abundance, blood-fed rate, and parity status through mixed-effect difference-in-difference analyses. The spatial repellent significantly reduced ABV infection by 34.1% (one-sided 95% CI lower limit, 6.9%; one-sided P value = 0.0236, z = 1.98). Aedes aegypti abundance and blood-fed rates were significantly reduced by 28.6 (95% CI 24.1%, ∞); z = -9.11) and 12.4% (95% CI 4.2%, ∞); z = -2.43), respectively. Our trial provides conclusive statistical evidence from an appropriately powered, preplanned cluster-randomized controlled clinical trial of the impact of a chemical intervention, in this case a spatial repellent, to reduce the risk of ABV transmission compared to a placebo